(w32_menu_display_help): Revert last change.

diff --git a/src/ChangeLog b/src/ChangeLog
index 7206d6f7e0329a870f7527769ee37fda219a1245..ef7a06de3c9d1418d2edf22428409a190804c921 100644 (file)
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,9 @@
+2002-01-06  Jason Rumney  <jasonr@gnu.org>
+
+       * w32menu.c (w32_menu_display_help): Revert last change.
+
+       * xmenu.c (menu_highlight_callback): Revert last change.
+
 2002-01-06  Andreas Schwab  <schwab@suse.de>
 
        * insdel.c (make_gap_larger): Make sure buffer size does not

diff --git a/src/w32menu.c b/src/w32menu.c
index 2fe9a63ad5b1c8a62d20a1d62087217a1a4761b6..03ffb301f01e8df1460161c53be28e7567e07c63 100644 (file)
--- a/src/w32menu.c
+++ b/src/w32menu.c
@@ -2226,8 +2226,6 @@ w32_menu_display_help (HWND owner, HMENU menu, UINT item, UINT flags)
         Windows code on the non-toolkit version.  */
       if (f)
        {
-         Fx_hide_tip ();
-
          XSETFRAME (frame, f);
          kbd_buffer_store_help_event (frame, help);
        }